1. Automated reasoning: 33 Base research problems
Author: Larry Wos
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Automatic theorem proving,Artificial intelligence,Electronic digital computers- Programming
Classification :
QA
،
76
.
9
،.
A96
,
W67
،
1988
2. Automated reasoning: introduction and applications
Author: )by( Larry Wos )et al.(
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Automatic theorem proving,، Artificial intelligence,Programming ، Electronic digital computers
Classification :
QA
76
.
9
.
A96
A93
1984
3. Control systems functions and programming approaches
پدیدآورنده : Chorafas, Dimitris N
موضوع : ، Automatic control,، Electronic digital computers
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Digital and sampled-data control systems
Author: Tou, Julius T
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Automatic control,، Electronic digital computers,، Feed-back control systems
Classification :
TJ
213
.
T6
5. Digital and sampled-data control systems
Author: / [by] Julius T. Tou
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Automatic control,Electronic digital computers,Feedback control systems
Classification :
TJ
213
.
T6
6. Digital and sampled-data control systems
Author: / [by] Julius T. Tou
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Automatic control,Electronic digital computers,Feedback control systems
Classification :
TJ
213
.
T6
7. Digital and sampled data control systems
Author: Tou, Julius T.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Automatic control,، Electronic digital computers,، Feedback control systems
Classification :
TJ
213
.
T6
8. Digital computer fundamentals
Author: / Thomas C. Bartee
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Electronic digital computers,Automatic digital computers
Classification :
TK7885
.
B317
1985
9. Digital & sampled data control systems
Author: TOU,TSU-LIEH
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: AUTOMATIC CONTROL , ELECTRONIC DIGITAL COMPUTERS , FEEDBACK CONTROL SYSTEMS
Classification :
TJ
213
.
T6
10. Digitalrechner in technischen Prozesson
Author: Hotes, Helmut.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers,، Automatic Control
Classification :
TJ
213
.
H64
11. Electronic data processing in practice: a handbook for users
Author: / M. Becker, R. Haberfellner, G. Liebetrau
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Electronic data processing,Automatic digital computers
Classification :
QA76
.
9
.
D6B4
1989
12. Elsevier s dictionary of computers,automatic control & data
Author: CLASON,W E COMP
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ELECTRONIC DIGITAL COMPUTERS-DICTIONARIES , AUTOMATIC CONTROL-DICTIONARIES , ELECTRONIC DATA PROCESSING-DICTIONARIES
Classification :
QA
76
.
5
.
E5
13. Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Functional programming )Computer science(-- Congresses,، Parallel programming )Computer science(-- Congresses,، Automatic theorem proving-- Congresses,، Computer simulation-- Congresses
Classification :
QA
76
.
6
.
F853
1993
14. Networks and distributed computation: concepts, tools and algorithms
Author: / M. Raynal
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Electronic data processing- distributed processing,Automatic digital computers
Classification :
QA76
.
9
.
D5R28
1987
15. #Reliability of computer and control systems
Author: #N. Viswanadham, V.V.S. Sarma, M.G. Singh
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Automatic control- Reliability ،Electronic digital computers- Reliability
Classification :
#
TJ
،#.
V57
16. Software for computer control 1982: Proceedings of the Third IFAC/IFIP Symposium, Madrid Spain, 5-8 October 1982
Author: edited by G. Ferrate and E.A. Puente
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Data processing - Congresses ، Automatic control,Programming -- Congresses ، Electronic digital computers
Classification :
TJ
212
.
2
.
I33
1983
